{
unsigned long addr;
pgprot_t prot;
+
+ printk(KERN_ALERT "bd240 debug: dom_mem_read invoked!\n");
+
proc_memdata_t * mem_data = (proc_memdata_t *)((struct proc_dir_entry *)file->f_dentry->d_inode->u.generic_ip)->data;
prot = PAGE_SHARED;
struct proc_dir_entry * file;
proc_memdata_t * memdata;
+ printk("bd240 debug: dom_map_mem invoked, xeno_base %lx, subdir %lx\n", xeno_base, xeno_base->subdir);
+
while(pd != NULL){
printk(KERN_ALERT "bd240 debug: dom_map: proc %d\n", ((dom_procdata_t *)pd->data)->domain);